Skip to content
This repository has been archived by the owner on Apr 22, 2020. It is now read-only.

Release 0.12.2 #1238

Merged
merged 1 commit into from
Jan 20, 2020
Merged

Release 0.12.2 #1238

merged 1 commit into from
Jan 20, 2020

Conversation

cb372
Copy link
Member

@cb372 cb372 commented Jan 20, 2020

No description provided.

juanpedromoreno
juanpedromoreno approved these changes Jan 20, 2020
View reviewed changes
Copy link
Member

@juanpedromoreno juanpedromoreno left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💯

@cb372 cb372 merged commit b73aa4c into master Jan 20, 2020
@cb372 cb372 deleted the release-0.12.2 branch January 20, 2020 19:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@juanpedromoreno juanpedromoreno juanpedromoreno approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@cb372 @juanpedromoreno